Fabrice Kordon: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (28)
가장 인기 있는
목록
- 목록
- 표

1

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet (editors)

년:

2013

언어:

english

파일:

EPUB, 4.16 MB

1.0 / 1.0

english, 2013

2

Distributed Systems: Design and Algorithms

Distributed Systems: Design and Algorithms

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

년:

2011

언어:

english

파일:

PDF, 5.10 MB

0 / 0

english, 2011

3

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Fabrice Kordon, J?r?me Hugues, Agusti Canals, Alain Dohet

년:

2013

언어:

english

파일:

MOBI , 6.16 MB

1.0 / 0

english, 2013

4

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

년:

2011

언어:

english

파일:

PDF, 3.80 MB

0 / 0

english, 2011

5

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

년:

2019

언어:

english

파일:

PDF, 9.90 MB

0 / 0

english, 2019

6

Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Gabor Karsai, Anantha Narayanan (auth.), Fabrice Kordon, Oleg Sokolsky (eds.)

년:

2007

언어:

english

파일:

PDF, 6.76 MB

0 / 0

english, 2007

7

Distibuted Systems: Design and Algorithms

Distibuted Systems: Design and Algorithms

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

년:

2011

언어:

english

파일:

PDF, 5.36 MB

0 / 0

english, 2011

8

Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Andy Wellings, Alan Burns (auth.), Nabil Abdennadher, Fabrice Kordon (eds.)

년:

2007

언어:

english

파일:

PDF, 2.44 MB

0 / 0

english, 2007

9

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... Programming and Software Engineering)

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... Programming and Software Engineering)

Fabrice Kordon, Janos Sztipanovits

년:

2007

언어:

english

파일:

PDF, 3.84 MB

0 / 0

english, 2007

10

Models and Analysis in Distributed Systems

Models and Analysis in Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

년:

2013

언어:

english

파일:

PDF, 3.83 MB

0 / 0

english, 2013

11

Distibuted Systems: Design and Algorithms

Distibuted Systems: Design and Algorithms

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

년:

2011

언어:

english

파일:

PDF, 5.09 MB

0 / 0

english, 2011

12

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.)

년:

2009

언어:

english

파일:

PDF, 8.56 MB

0 / 0

english, 2009

13

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

년:

2011

언어:

english

파일:

PDF, 4.09 MB

0 / 0

english, 2011

14

Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Andy Wellings, Alan Burns (auth.), Nabil Abdennadher, Fabrice Kordon (eds.)

년:

2007

언어:

english

파일:

PDF, 2.44 MB

0 / 0

english, 2007

15

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)

년:

2007

언어:

english

파일:

PDF, 9.11 MB

0 / 5.0

english, 2007

16

Transactions on Petri Nets and Other Models of Concurrency XVI

Transactions on Petri Nets and Other Models of Concurrency XVI

Maciej Koutny, Fabrice Kordon, Daniel Moldt

년:

2022

언어:

english

파일:

EPUB, 16.09 MB

0 / 0

english, 2022

17

Embedded Systems: Analysis and Modeling With SysML, UML and AADL

Embedded Systems: Analysis and Modeling With SysML, UML and AADL

John Wiley & Sons

Fabrice Kordon & Agusti Canals & Alain Dohet

년:

2013

언어:

english

파일:

PDF, 7.95 MB

0 / 0

english, 2013

18

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

년:

2019

언어:

english

파일:

PDF, 9.84 MB

0 / 0

english, 2019

19

Formal methods for embedded distributed systems: how to master the complexity

Formal methods for embedded distributed systems: how to master the complexity

Fabrice Kordon, Michel Lemoine

년:

2004

언어:

english

파일:

PDF, 1.52 MB

0 / 0

english, 2004

20

Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Springer International Publishing

Fabrice Kordon, Daniel Moldt (eds.)

년:

2016

언어:

english

파일:

PDF, 15.67 MB

0 / 0

english, 2016

21

Formal Methods for Embedded Distributed Systems : How to master the complexity

Formal Methods for Embedded Distributed Systems : How to master the complexity

Fabrice Kordon and Michel Lemoine

년:

1991

언어:

english

파일:

PDF, 7.72 MB

0 / 0

english, 1991

22

Reliable Software Technologies – Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Reliable Software Technologies – Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Santiago Urueña, José A. Pulido, Jorge López (auth.), Fabrice Kordon, Tullio Vardanega (eds.)

년:

2008

언어:

english

파일:

PDF, 3.88 MB

0 / 0

english, 2008

23

Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Alessandro Zovi, Tullio Vardanega (auth.), Fabrice Kordon, Yvon Kermarrec (eds.)

년:

2009

언어:

english

파일:

PDF, 4.43 MB

0 / 0

english, 2009

24

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)

년:

2007

언어:

english

파일:

PDF, 4.74 MB

0 / 0

english, 2007

25

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)

년:

2007

언어:

english

파일:

PDF, 4.68 MB

0 / 0

english, 2007

26

Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Alessandro Zovi, Tullio Vardanega (auth.), Fabrice Kordon, Yvon Kermarrec (eds.)

년:

2009

언어:

english

파일:

PDF, 4.38 MB

0 / 0

english, 2009

27

Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Andy Wellings, Alan Burns (auth.), Nabil Abdennadher, Fabrice Kordon (eds.)

년:

2007

언어:

english

파일:

PDF, 4.28 MB

0 / 0

english, 2007

28

Reliable Software Technologies – Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Reliable Software Technologies – Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Santiago Urueña, José A. Pulido, Jorge López (auth.), Fabrice Kordon, Tullio Vardanega (eds.)

년:

2008

언어:

english

파일:

PDF, 6.03 MB

0 / 0

english, 2008